TSTP Solution File: ALG250^3 by Nitpick---2016